Nuprl Definition : so_lambda6
11,40
postcript
pdf
(
x
,
y
,
z
,
u
,
v
,
w
.
t
(
x
;
y
;
z
;
u
;
v
;
w
))(
x
,
y
,
z
,
u
,
v
,
w
) ==
t
(
x
;
y
;
z
;
u
;
v
;
w
)
latex
Definitions
x
.
A
(
x
)
origin
x,y,z,u,v,w. t(x;y;z;u;v;w))(x,y,z,u,v,w) == t(x;y;z;u;v;w) x,y,z,u,v,w. t(x;y;z;u;v;w))(x,y,z,u,v,w) == t(x;y;z;u;v;w) x.A(x)